type t =
  | MkT : int -> (int -> t)
